A Model-Driven Approach for Smart Card Configuration

The configuration of smart cards is a complex multi-level process. Addressing this process efficiently is a major challenge of the smart card industry. In the context of the forthcoming evolutions of smart card systems, we are ex-perimenting new configuration methods. We propose to rely on both model-driven engineering and software product lines to formalize and automate the smart card configuration process. We are applying separation of concerns as a methodological support to implement variability management. This paper describes our approach as well as its motivations and provides a concrete example.